-
1 verification condition generation
Большой англо-русский и русско-английский словарь > verification condition generation
-
2 verification condition generation
Вычислительная техника: генерирование условий верификации (при доказательстве правильности программ)Универсальный англо-русский словарь > verification condition generation
-
3 verification condition generation
English-Russian dictionary of computer science and programming > verification condition generation
См. также в других словарях:
Инвариант — программный объект, не изменяющийся в процессе выполнения. Инварианты используется при доказательстве правильности программ. См. также: Исполнение программ Финансовый словарь Финам … Финансовый словарь
ЭВРИСТИКА — (от греч. heurisko отыскиваю, открываю) совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой… … Философская энциклопедия
МАТЕМАТИКА — уч. предмет в школе, в содержание к рого входят элементы арифметики, алгебры, начал анализа, евклидовой геометрии плоскости и пространства, аналитич. геометрии, тригонометрии. Преподавание М. направлено на овладение учащимися системой матем.… … Российская педагогическая энциклопедия
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия